---

higher order predicate calculus

英 [ˈhaɪə(r) ˈɔːdə(r) ˈpredɪkət ˈkælkjələs] 美 [ˈhaɪər ˈɔːrdər ˈpredɪkət ˈkælkjələs]

网络  高阶谓词演算

计算机

---

---